<?php
error_reporting(E_ALL);
ini_set("display_errors", 1);
header('Access-Control-Allow-Origin: *');
require('Server.php');
/*  */
//prevent the browser from caching the response (a problem with IE and GET requests)
header('Cache-Control: no-cache, must-revalidate');
header('Expires: Mon, 26 Jul 1997 05:00:00 GMT');

//set che correct MIME type for JSON
header('Content-type: application/json');
/*  */
$server=new Server();
$server->listen();

?>
